1 Алгебра Логики
2 Графы

- представление ДНФ, КНФ, жегалкинас КНФ
- линейность, самодводвойственность
- замкнутые классы, базис Р2 
- количество функций от n переменных
- К-значная логика

- изоморфные графы
- деревья, корневые деревья
- планарность